Process for designing a virtual sensor, corresponding virtual sensor, system, and computer-program products

ABSTRACT

Described herein is a process for designing a virtual sensor that is able to estimate a variable of interest v as a function of a set of available variables u i . The process comprises the steps of: —acquiring ( 1002 ) a design data-set D d  comprising a number N of measured values v(ti) of the variable of interest v and corresponding measured values ũi(ti) of the available variables u i ; —determining a limit δ on the disturbances of the available variables u i  and a limit η on the errors of the method of measurement of the variable of interest v; —selecting ( 1004 ) a Lipschitz function ƒ* with a respective Lipschitz constant γ, which is able to estimate the variable of interest v(t) as a function of a number n of past values of each available variable u i , by executing the following steps one or more times for different numbers n: a) determining a value for the Lipschitz constant y; b) defining ( 1006 ) a maximum limit ƒ(r(t)) and a minimum limit  ƒ (r(t)) for the estimate of the variable of interest v as a function of the design data-set D d , and moreover the number n, the value for the Lipschitz constant y, the limit δ on the disturbances of the available variables u i , and the limit η on the errors of the method of measurement of the variable of interest v, and choosing a Lipschitz function ƒ* comprised between the maximum limit ƒ(r(t)) and the minimum limit  ƒ (r(t)); c) determining ( 1008 ) an estimation error ε*(ƒ*) for the Lipschitz function ƒ* and selecting the Lipschitz function ƒ*, associated to which is a respective Lipschitz constant y* and a respective number n*, that presents the minimum estimation error ε*(ƒ*(y*, n*)); and —implementing ( 1012 ) the selected Lipschitz function ƒ* in an electronic circuit.

TECHNICAL FIELD

The present disclosure relates to solutions for designing a virtual sensor and to a corresponding virtual sensor. The solutions described herein are particularly useful for designing a virtual sensor that is able to estimate in real time emissions (NO_(x), PM, HC, CO, etc.) of heat engines in the automotive field.

DESCRIPTION OF THE PRIOR ART

Generation of exhaust gases deriving from the combustion of air and fuel (especially in diesel engines in which the fuel mixture is heterogeneous) depends upon many factors, such as high combustion temperature, high presence of oxygen in the combustion chamber, and long time of stay in these conditions. In addition to the products of complete combustion, also undesirable pollutant substances such as uncombusted hydrocarbons (HC), nitrogen oxides (NO_(x)), carbon monoxide (CO), and particulate matter (PM) are emitted.

The emissions of pollutant substances have been limited for commercially available vehicles with the introduction in the last few decades of increasingly stringent standards, which force automobile manufacturers to develop solutions for abatement of substances of this sort, such as EGR (Exhaust-Gas Recirculation), SCR (Selective Catalytic Reduction), DOC (Diesel Oxidation Catalyst), and DPF (Diesel Particulate Filter). EGR is a system that enables recirculation of a portion of exhaust gases in the intake manifold of the engine. The above gases are inert gases that do not participate in combustion, thus reducing the amount of mixture useful for combustion itself. Consequently, by reducing the temperature in the chamber, there is a drop in the emission of NO_(x). DOC combines oxygen, uncombusted hydrocarbons (HC), and carbon monoxide (CO) into carbon dioxide and water vapour. DPF is a filter that has the purpose of physically filtering the particulate matter (PM). SCR enables, by means of injection of ammonia, conversion of NO_(x) into nitrogen molecules and water.

The continuous improvement of systems for treatment of emissions requires accurate measurement information on the exhaust gases, which is used both for the abatement control systems and in order to evaluate the effective reduction of pollutant agents. For instance, for SCR control, two sensors for instantaneous measurement of NO_(x) are typically used, positioned upstream and downstream of the SCR. However, there are various types of problems regarding these types of sensors, such as cost of the sensor and its installation, weight, periodic regeneration, ON time, and deterioration over time.

In order to overcome the above problems, considerable attention has been dedicated in the last few years to the possibility of providing solutions capable of estimating the variable of interest, which is measured by the physical sensor, using data and measurements of other variables of the combustion system, available in the engine control unit. These estimation methods, also referred to as “virtual sensors”, appropriately implemented in the engine control unit, or else on other hardware platforms (microprocessors, FPGAs, ASICs, etc.), can be used either as backup, in the case of malfunctioning or failure of the physical sensor, or to avoid the need for installation thereof, with a saving on costs for purchase and installation.

A large number of processes have been proposed in the last few years regarding methods and systems for estimation of emissions. These are based upon methodologies that are very different from one another and can be grouped into two major categories: the methods based upon chemical/physical laws (for example, Kalman models and filters) and those that use data-driven methods (for example, neural networks, wavelets, etc.). All these methods lead to an estimation of the variable of interest v(t) using a parametric-statistical setting, where the estimation {circumflex over (v)}(t) of v(t) is calculated as a nonlinear function of variables u₁(t), . . . , u_(m)(t) available, for example via the engine control unit:

{circumflex over (v)}(t _(i))={circumflex over (ƒ)}({tilde over (r)}(t _(i)))

with:

{tilde over (r)}(t _(i))=[ũ ₁(t _(i) −Δt), . . . ,ũ _(m)(t _(i) −Δt), . . . ,ũ _(m)(t _(i) −Δt), . . . ,ũ _(m)(t _(i) −nΔt)]  (1)

where ũ₁, ũ₂, . . . , ũ_(m) are the measured values of the variables available, for example in the engine control unit, possibly corrupted by disturbance, t_(i)=i·Δt, where Δt is the sampling time, and n is the memory of the estimator.

The function {circumflex over (ƒ)} is chosen within an assigned family of parametric functions

(p):

(p)={ƒ_(p) :p∈

^(q)}  (2)

The choice of said families

(p) depends upon the specific methodology used for designing the estimator. For instance, in the case where the estimator is obtained using a mathematical model based upon chemical/physical laws, the vector of parameters p of size q contains a number of parameters of the model, which depend upon the specific type of engine. In the case where a data-driven method is used, for example based upon neural networks, the parametric family may be described as:

${\mathcal{F}(p)} = \left\{ {{{f_{p}\left( {\overset{\sim}{r}(t)} \right)} = {\sum\limits_{j = 1}^{L}{\alpha_{j}{\sigma_{j}\left( {{\overset{\sim}{r}(t)},\beta_{j}} \right)}}}};{p = \left\lbrack {\alpha_{1},\ldots \mspace{14mu},{\alpha_{L,}\beta_{1}},\ldots \mspace{14mu},\beta_{L}} \right\rbrack}} \right\}$

where σ_(j) are the assigned base functions (exponentials, sigmoids, etc.). For instance, the document No. U.S. Pat. No. 6,882,929 describes a solution in which a NO_(x) sensor is designed using an artificial neural network. Other solutions for the design/implementation and for a respective use of a virtual sensor are described in the documents Nos. EP 0 712 463 B1 and EP 0 877 309 B1.

In these methods, the estimated function {circumflex over (ƒ)} is obtained typically by choosing a specific value {circumflex over (p)} for the vector p typically calculated with the procedure described in what follows. It is assumed that there is a number N of data, whereby, in addition to the measured data

, i=1, . . . , m for the available variables, measurements {tilde over (v)} of the variable of interest v are also obtained. To assign the value {circumflex over (p)} to the vector p, an appropriate estimation-error function J(p) is calculated. For instance, one of the most widely used is:

$\begin{matrix} {{J(p)} = {\frac{1}{N - n}{\sum\limits_{t_{i} = {n\; \Delta \; t}}^{t_{i} = {N\; \Delta \; t}}\left( {{\overset{\sim}{v}\left( t_{i} \right)} - {f_{p}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)}} \right)^{2}}}} & (3) \end{matrix}$

In general, the value {circumflex over (p)} for the vector of parameters p is hence chosen such that:

J({circumflex over (p)})=mi

_(q) J(p)  (4)

FIG. 1 shows in this context an example where just one available variable u₁ is considered and n=1, i.e., {tilde over (r)}(t_(i))=[ũ₁(t_(i)−Δt)]. Illustrated in this figure are four data that correspond to the measured values {tilde over (r)}(t₁), {tilde over (r)}(t₂), {tilde over (r)}(t₃), {tilde over (r)}(t₄) of the available variable r and to the measured values {tilde over (v)}(t₁), {tilde over (v)}(t₂), {tilde over (v)}(t₃), {tilde over (v)}(t₄) of the variable of interest v. Moreover illustrated is the function {circumflex over (ƒ)} in the form ƒ_(p)({tilde over (r)})=p₁+p₂{tilde over (r)}+p₃{tilde over (r)}² that minimises the functional described by Eq. (3).

These methods, however, present important critical features. The first important critical aspect is the calculation of the value {circumflex over (p)} for the vector of parameters p that will satisfy Eq. (4). For instance, typically, the function J(p) is a non-convex function and possibly presents a number of local minima. Consequently, minimisation of Eq. (4) is typically performed using iterative methods starting from an assigned initial value p₀. These methods are not able to guarantee in all cases reaching of the absolute minimum of J(p) and may stop at a relative minimum, with the result that the estimation performance could be even significantly inferior than what can be obtained from the absolute minimum.

A second critical aspect is the choice of the parametric family

(p). A fundamental problem is that of choosing the level of detail of the mathematical models in the case of methods based upon chemical/physical laws, or else the number of base functions in the case of data-driven methods. In both cases, this reflects upon the choice of the size q of the vector p. Values of q that are too small may lead to unacceptable errors. Values of q that are very large may lead to the danger of overfitting; i.e., the estimator obtained achieves acceptable errors only on the data used for deriving the estimator, but not for other data, even ones regarding normal operating conditions. In effect, there do not exist systematic methods for making this choice, which is consequently conducted in a basically empirical manner, frequently requiring even long design times.

A third important critical feature is the evaluation of the performance of the above methods in relation to the disturbance that may alter the measured variables ũ_(l). Reliable evaluations are obtained only in very particular conditions (linearity, Gaussian disturbances, etc.), which are unlikely to arise in the estimation of complex phenomena as the ones involved in the combustion systems. In particular, in the case investigated here, an important aspect is that, on account of production spread, there may be differences between the data of some variables regarding different engines that are not easy to characterize in statistical terms. This spread may produce unacceptable deterioration in the performance of the virtual sensor designed. It would be important to design a “robust” estimator, capable of achieving acceptable performance even in the presence of production spread. However, this problem is not tackled by any method according to the prior art.

On account of these problems, none of the above methods appears to have achieved the capacity for estimating the emissions of heat engines with the necessary accuracy required by the operating conditions in which a commercially available vehicle has to work, as highlighted by the limited use on vehicles currently on the market.

OBJECT AND SUMMARY OF THE PRESENT DISCLOSURE

The main object of one or more embodiments of the present disclosure is to overcome the limitations of the solutions proposed by the prior art.

In various embodiments, the above is obtained by providing a non-parametric estimation process, which avoids the problem of search for the appropriate parametric family of the estimator. Moreover, as regards the disturbances that act on the data used for estimation, it is possible to consider information that is better suited, as compared to the statistical information required in the prior art, to taking into account the production spread. In this way, it is possible to obtain directly a so-called “optimal” estimator, preventing the problems of parametric-statistical methods due to the fact that they might stop on local minima.

Moreover, in various embodiments, the experimental data are appropriately organised in such a way as to obtain a virtual sensor, referred to as “robustly optimal virtual sensor”, which minimises the effects on the estimation errors in the presence of the expected production spread on the data used for the estimate.

According to various embodiments, the above object is achieved by a process for designing a virtual sensor having the characteristics forming the subject of Claim 1. The claims also regard a corresponding virtual sensor, a system, and a computer-program product.

The claims form an integral part of the teaching provided in relation to the invention.

As mentioned previously, various embodiments of the present description regard a process for designing, i.e. producing, a virtual sensor that is able to estimate a variable of interest v as a function of a set of available variables u_(i), which typically comprises a plurality of variables.

In various embodiments, a design data-set D_(d) is acquired, which comprises a number N of measured values {tilde over (v)}(t_(i)) of the variable of interest v and corresponding measured values ũ_(i)(t_(i)) of the available variables u_(i). For this purpose, the values of the variable of interest v and of the available variables u_(i) can be measured and stored, during one or more experimental tests with an actuator, such as an engine, using sensors capable of measuring such values (see also FIG. 2). Moreover, a limit δ on the disturbances of the available variables u_(i) and a limit η on the errors of the method of measurement of the variable of interest v are determined. For instance, the limit η on the errors of the method of measurement of the variable v can be determined on the basis of the accuracy data of the sensor used for measuring the variable of interest v during the experimental tests, and the limit or limits δ can be determined from the information on the perturbations of the measurements ũ_(i) as a result of the process spread involved in (mass) production of the actuator used during the experimental tests and/or as a result of the different operating conditions in which the actuator is operating.

In particular, in various embodiments, the design data-set D_(d) is modified in such a way as to add values of the variable of interest v and corresponding values of the available variables u_(i) that do not correspond to measured values but that fall within the limit δ around measured values ũ_(i)(t_(i)) of one or more available variables u_(i) and/or within the limit η around measured values {tilde over (v)}(t_(i)) of the variable of interest v.

In various embodiments, a Lipschitz function ƒ* with a respective Lipschitz constant (γ) is then selected, which is designed to estimate the variable of interest v(t) as a function of a number n of past values of each available variable u_(i).

In particular, in various embodiments, the aforesaid Lipschitz function ƒ* is chosen by executing the following steps one or more times for different numbers n.

At the start, a value for the Lipschitz constant γ is determined. Then, there are defined a maximum limit ƒ(r(t)) and a minimum limit ƒ(r(t)) for the estimate of the variable of interest v as a function of the design data-set D_(d), and moreover the number n, the value for the Lipschitz constant γ, the limit δ on the disturbances of the available variables u_(i), and the limit η on the errors of the method of measurement of the variable of interest v, and a Lipschitz function ƒ^(•) is chosen comprised between the maximum limit ƒ(r(t)) and the minimum limit ƒ(r(t)). For instance, in various embodiments the value v(t) of the variable of interest v is estimated with the mean value between the maximum limit ƒ(r(t)) and the minimum limit ƒ(r(t)).

In various embodiments, there is then determined an estimation error ε*(ƒ^(•)) for each Lipschitz function ƒ^(•), and there is selected the Lipschitz function ƒ*, associated to which is a respective Lipschitz constant γ* and a respective number n*, that presents the minimum estimation error ε*(ƒ*(γ*, n*)).

In various embodiments, the selected Lipschitz function ƒ* is then implemented in an electronic circuit. Consequently, the electronic circuit (which corresponds to the virtual sensor) is configured for estimating (by means of the Lipschitz function selected) the variable of interest v as a function of the available variables u_(i).

For instance, in various embodiments, for this purpose the selected Lipschitz function ƒ* is approximated with a function ƒ_(a) made up of base functions, and the approximated Lipschitz function ƒ_(a) is implemented in the electronic circuit.

For instance, in various embodiments, the variable of interest v represents a type of emission of an internal-combustion engine, such as NO_(x) emission, and the set of available variables u_(i) comprises one or more of the following variables: fuel demand, engine r.p.m., engine torque, percentage opening of the EGR valve, percentage closing of the VGT turbine, temperature in the intake manifold, pressure in the intake manifold, pressure in the common rail, flow of exhaust gases in the exhaust manifold, temperature of the coolant, concentration of oxygen in the combustion chamber, absolute humidity, temperature in the combustion chamber, and pressure in the combustion chamber. For instance, in various embodiments, a further virtual sensor is used for estimating the temperature in the combustion chamber and/or the pressure in the combustion chamber. For this purpose, it is possible to design at least one second virtual sensor that is able to estimate a second variable of interest v, for example the temperature in the combustion chamber or the pressure in the combustion chamber, as a function of a second set of available variables. In the embodiment considered, the second variable of interest hence corresponds to one of the available variables u_(i) in the set of available variables u_(i) of the first virtual sensor. In various embodiments, the first virtual sensor and the second virtual sensor can be implemented also within one and the same electronic circuit.

BRIEF DESCRIPTION OF THE DRAWINGS

Embodiments of the present description will now be described in detail with reference to the attached drawings, which are provided purely by way of non-limiting example and in which:

FIG. 1 has already been described previously;

FIG. 2 shows an embodiment of a control system;

FIG. 3 shows an embodiment of a virtual sensor that can be used in the system of FIG. 2;

FIG. 4 illustrates a flowchart of a process for designing a virtual sensor;

FIGS. 5, 6, and 7 show details of the design process of FIG. 4;

FIG. 8 illustrates an embodiment of a virtual sensor;

FIG. 9 shows an embodiment that enables reduction of the estimation error of the virtual sensor;

FIG. 10 shows an embodiment that enables reduction of the complexity of the virtual sensor; and

FIGS. 11, 12, and 13 show various embodiments of virtual sensors that are particularly useful for estimating a type of emission of an internal-combustion engine.

DETAILED DESCRIPTION OF EMBODIMENTS

In the ensuing description, various specific details are illustrated aimed at enabling an in-depth understanding of the embodiments. The embodiments may be provided without one or more of the specific details, or with other methods, components, materials, etc. In other cases, known structures, materials, or operations are not illustrated or described in detail so that various aspects of the embodiments will not be obscured.

Reference to “an embodiment” or “one embodiment” in the framework of the present description is intended to indicate that a particular configuration, structure, or characteristic described in relation to the embodiment is comprised in at least one embodiment. Hence, phrases such as “in an embodiment” or “in one embodiment” that may be present in various points of the ensuing description do not necessarily refer to one and the same embodiment. Moreover, particular conformations, structures or characteristics may be combined in any adequate manner in one or more embodiments.

The references used herein are merely provided for convenience and hence do not define the sphere of protection or the scope of the embodiments.

As mentioned previously, the present description relates to solutions for designing a virtual sensor, such as a virtual sensor that is able to estimate one or more types of emission of an internal-combustion engine, for example NO_(x) emission of a diesel engine.

FIG. 2 shows an embodiment of a generic control system.

In the embodiment considered, the system comprises an actuator 10 and a control unit 20 configured to drive the actuator 10 on the basis of one or more control signals. For instance, in the embodiment considered, the control unit 20 can drive the actuator 10 on the basis of one or more of the following control signals:

-   -   one or more reference signals S1;     -   one or more signals of a feed-back type S2, i.e., signals         obtained via one or more sensors 30 configured for monitoring         the behaviour of the actuator 10; and     -   one or more signals of a feed-forward type S3, i.e., signals         obtained from one or more further sensors 32 that supply         information useful for a predictive control.

In general, there may also be provided one or more further sensors 34 configured for monitoring the behaviour of the actuator 10, which, however, are not used for control of the actuator 10.

For instance, in various embodiments, the actuator 10 is an internal-combustion engine. In this case, the control unit 20 is typically implemented within the engine control unit, and the reference parameter S1 could be the required value of engine r.p.m.

In various embodiments, at least one of the sensors 30, 32, and/or 34 is a virtual sensor 40; i.e., at least one of the signals S2, S3, and/or S4 corresponds to an estimate {tilde over (v)} of a variable of interest v.

In general, the virtual sensor 40 can be implemented within the control unit 20, for example in the form of a software module, or on a separate electronic board.

Consequently, as illustrated in FIG. 3, the virtual sensor 40 receives, at each sampling instant t_(i)=i·Δt, a set of measured values MQ={(ũ_(i), ũ₂, . . . , ũ_(m)} and estimates a corresponding value {tilde over (v)}(t) for the variable of interest v(t) as a function of the measured values MQ. For instance, in the architecture illustrated in FIG. 2, the control module 20 can send these measured values to the virtual sensor 40. For example, as mentioned previously, the virtual sensor 40 could be a software module within the control unit 20 that preferably has direct access to the variables acquired and/or calculated within the control unit 20. Instead, in the case where the virtual sensor 40 is implemented on a separate electronic board, the control module 20 can exchange the values with the virtual sensor 40 through any wired or wireless communication system, such as a CAN (Controller Area Network) bus of a vehicle. In general, the virtual sensor 40 could receive one or more of the measured values also directly from the various sensors 30, 32 and/or 34.

For instance, in various embodiments, the variable of interest v(t) that is to be measured is a type of emission produced by the engine 10, for example NO_(x). By way of example, appearing in the following table are variables that can be used in various embodiments for estimation of NO_(x):

Name of variable Description ũ₁ Fuel demand ũ₂ Engine r.p.m. ũ₃ Engine torque ũ₄ Percentage opening of the EGR valve ũ₅ Percentage closing of the VGT turbine ũ₆ Temperature in the intake manifold ũ₇ Pressure in the intake manifold ũ₈ Pressure in the common rail ũ₉ Flow of exhaust gases in the exhaust manifold ũ₁₀ Temperature of the coolant ũ₁₁ Concentration of oxygen in the combustion chamber ũ₁₂ Absolute humidity

Consequently, in general the virtual sensor 40, on the basis of the variables MQ, supplies in real time an estimate {tilde over (v)} of the variable of interest v, for example of engine emission, such as emission of uncombusted hydrocarbons (HC), nitrogen oxides (NO_(x)), carbon monoxide (CO), or particulate matter (PM).

FIG. 4 shows an embodiment of a process for designing the virtual sensor 40, which can be implemented, for example, within a software for the design of virtual sensors, i.e., a computer-program product that can be executed, for example, on a computer or a computing system with distributed architecture (the so-called cloud-computing system), which implements the process for automatic design of the virtual sensor 40.

After an initial step 1000, a step 1002 is carried out of acquisition of data D_(d) for acquiring both the measured values MQ={(ũ₁, ũ₂, . . . , ũ_(m)} and the corresponding measured values {tilde over (v)} of the variable of interest v:

D _(d) ={ũ ₁(t _(i)),ũ ₂(t _(i)), . . . ,ũ _(m)(t _(i)),{tilde over (v)}(t _(i)),i=1, . . . ,N}  (5)

The acquisitions of the above reference data D_(d) may be made by means of experimental measurements on a testing actuator 10, either in the laboratory or during actual operation, or else by means of simulations of an accurate model of the actuator 10, or else in part experimentally and in part by simulation. For instance, in various embodiments, the reference data D_(d) are acquired using operating conditions that are typically considered for evaluating the performance of the actuator 10, for example of the engine and its emission levels. For instance, these conditions may comprise both dynamic tests (homologation cycles such as NEDC, WLTP, FTP, Artemis) and actual on-the-road tests, as well as stationary tests conducted on different possible engine operating points.

The set of reference data D_(d) is then used in a step 1004 for designing the virtual sensor 40. As will be described hereinafter, in various embodiments, the step 1004 comprises a step 1006 for computing a function ƒ^(•) that is able to provide a robust estimate, i.e., with a guaranteed error limit even in the presence of variability of the variables u_(i) due to the spread in the engine-production processes, an optimisation step 1008 for computing a function ƒ* that yields a robustly optimal estimate, which minimises the guaranteed error, and an optional approximation step 1010 for approximating the function ƒ* with a function ƒ_(a) with reduced computational complexity.

In various embodiments, the functions ƒ^(•), ƒ*, or ƒ_(a) may be used, in a step 1012, for implementing the virtual sensor 40. For instance, in various embodiments, step 1012 can automatically generate a source code that can be transferred onto the platform on which it will have to operate, such as a source code (for example, a C code) that can be compiled for the control unit 20 (for example, the engine control unit) or another microprocessor, or a VHDL/VERILOG code for programming of an FPGA or for implementation of an ASIC.

In general, as already mentioned in the section “Description of the prior art”, an estimator of the variable of interest v based upon the variables MQ may be represented as in Eq. (1). In various embodiments, unlike the technique used in the prior art, the functions ƒ^(•), ƒ*, or ƒ_(a) are not sought within an assigned parametric family, but rather within a non-parametric family

(γ) of continuous Lipschitz functions. For instance, in various embodiments, the following family of functions is used:

(γ)={ƒ∈

:|ƒ({circumflex over (r)}(t))−ƒ(ř(t))|≤γ∥{circumflex over (r)}(t)−ř(t)∥_(∞) ,∀{circumflex over (r)}(t),ř(t)∈R _(b)}  (6)

where

is the set of the continuous functions that operate in the space R^(m×n.)

The set R_(b) is the rectangular parallelepiped in the space R^(m×n) of minimum volume that contains the set R_(d) made up of all the regressors formed using the data of the data-set D_(d) and can be calculated as:

$\begin{matrix} {R_{b} = \left\{ {{{r \in R^{m \times n}};{{\min\limits_{{i = 1},\ldots \mspace{11mu},N}{{\overset{\sim}{u}}_{{j + k}\;}\left( t_{i} \right)}} \leq r_{j + k} \leq {\max\limits_{{i = 1},\ldots \mspace{14mu},N}{{\overset{\sim}{u}}_{j + k}\left( t_{i} \right)}}};{k = 1}},\ldots \mspace{14mu},{n;{j = 1}},\ldots \mspace{14mu},m} \right\}} & (7) \end{matrix}$

Consequently, the set R_(b) defines the space between the minimum and maximum measured values of the variables ũ_(i), hence being automatically limited to the range of the values actually measured.

FIG. 5 shows, in this context, two arbitrary points {circumflex over (r)}(t), ř(t) in the set R_(b). Basically, Eq. (6) envisages that the distance between the two values ƒ({circumflex over (r)}(t)) and ƒ(ř(t)) must be less than the distance between the two points {circumflex over (r)}(t), ř(t), determined as shown in Eq. (6), for example with the infinity norm or alternatively another norm, for example the Euclidean norm, multiplied by the Lipschitz constant γ.

The rationale for the previous choices stems from the following considerations. The actuator 10, for example the engine, which represents an emission-generation system, may, in general, be described by a system of nonlinear state equations of appropriate order n, of which the variables u_(i) are in part the inputs and in part the measured outputs. If the variable of interest v (for example, the emission) is a continuous Lipschitz function of the state variables and can be estimated from a knowledge of the variables u_(i), then, from the general theory of observability of nonlinear systems, there exists a function ƒ₀ such that, for an appropriate value of γ,

v(t)=ƒ₀(r(t)),ƒ₀∈

(γ)  (8)

The function ƒ₀ is in general not known, and in various embodiments an estimate thereof is directly derived from the experimental data. It may be noted that the family of functions

(γ) where estimation functions ƒ^(•) and ƒ* are sought is constituted by functions that, operating on measurements u_(i) corrupted by disturbances that are not known but are limited by a value δ≥|u_(i)−ũ_(i)|, yield estimation errors that (as will be illustrated hereinafter) are limited by the amount γδ.

In various embodiments, this property is used in step 1004 for computing the functions ƒ^(•) and ƒ* that enable so-called robust and robustly optimal estimators to be obtained, capable of supplying a low or even minimum estimation error that can be obtained in the various operating conditions in which the estimator will have to operate and in the presence of disturbances on the measurements u_(i) that, on account of production spread, are not known but are smaller in modulus than δ.

Moreover, the performance of any {circumflex over (ƒ)}∈

(γ) chosen cannot be evaluated simply by verifying that {circumflex over (ƒ)} yields on the data-set D_(d) errors |{tilde over (v)}(t_(i))−{tilde over (v)}(t_(i))|, with i=1, . . . , N, that are “small”. In fact, it is possible to find estimation functions that yield small or even zero errors on the data-set D_(d), but that can present very poor performance when they operate on data-sets D_(v) other than D_(d), which are referred to as “validation sets”:

D _(v) ={ũ ₁(t _(i)),ũ ₂(t _(i)), . . . ,ũ _(m)(t _(i)),{tilde over (v)}(t _(i)),i=N+1, . . . ,M}  (9)

In general, the data contained in the data-set D_(d) do not yield information on the behaviour of the function {circumflex over (ƒ)} outside of the data-set R_(b) defined in Eq. (7). In fact, two estimation functions {circumflex over (ƒ)}_(a), {circumflex over (ƒ)}_(b) ∈

(γ) such that {circumflex over (ƒ)}_(a)(r)={circumflex over (ƒ)}_(b)(r), ∀r∈R_(b) may have very different values for r∉R_(b). Consequently, in various embodiments, the validation sets are chosen in such a way that R_(v)⊂R_(b), where R_(v) is the set of the regressors formed using the data of the data-set D_(v). In what follows,

_(v) is hence defined as the set of all the possible sets D_(v) such that R_(v)⊂R_(b).

In various embodiments, for assigning functions {circumflex over (ƒ)}∈

(γ), variability δ of the measurements, and accuracy η of the measurement of v during the experimental tests, an error ε({circumflex over (ƒ)}) is calculated such that, for any {tilde over (r)}(t)∈R_(b) formed by the data of any D_(v)∈

_(v), the following applies:

|v(t)−{circumflex over (v)}(t)|=|v(t)−{circumflex over (ƒ)}({tilde over (r)}(t))|≤ε({circumflex over (ƒ)})  (10)

In fact, from Eq. (8), we have:

|v(t)−{circumflex over (v)}(t)|=|ƒ₀(r(t))−{circumflex over (ƒ)}({tilde over (r)}(t))|≤|ƒ₀(r(t))−ƒ₀({tilde over (r)}(t))|+|ƒ₀({tilde over (r)}(t))−{circumflex over (ƒ)}({tilde over (r)}(t))|  (11)

Moreover, the limit |u_(i)−ũ_(i)|≤δ implies that:

∥r(t)−{tilde over (r)}(t)∥_(∞)≤δ  (12)

Consequently, from Eqs. (8) and (12), it follows that

|ƒ₀(r(t))−ƒ₀({tilde over (r)}(t))|≤γ∥r(t)−{tilde over (r)}(t)∥_(∞)≤γδ  (13)

Hence from Eqs. (11) and (13) we have

|v(t)−{circumflex over (v)}(t)|≤γδ+|ƒ₀({tilde over (r)}(t))−{circumflex over (ƒ)}({tilde over (r)}(t))|  (14)

Consequently, in various embodiments, design of the virtual sensor 40 is based upon the fact that the function ƒ₀ is not known, but it is known that ƒ₀∈

(γ) and is such that

|{tilde over (v)}(t)−ƒ₀({tilde over (r)}(t))|≤|{tilde over (v)}(t)−ƒ₀(r(t))|+|ƒ₀(r(t))−ƒ₀({tilde over (r)}(t))|≤η+γδ∀{tilde over (r)}(t)∈R _(b)  (15)

For instance, FIG. 6 shows an arbitrary measured regressor {tilde over (r)}(t), which for simplicity comprises just one variable u₁, and the respective measured value {tilde over (v)}(t). In general, the measured value {tilde over (v)} has an uncertainty due to the measurement that is limited by η, and likewise the measured value for the variable u₁ has a respective limit δ on the disturbances. Consequently, the overall uncertainty, assuming that the function ƒ₀ is a Lipschitz function with constant γ, is limited by the sum of η (uncertainty of measurement of {tilde over (v)}) and γδ (possible variation of the function ƒ₀ in the limit δ on the disturbances of u₁). This uncertainty hence defines the set of values of the function ƒ₀ for a given measured regressor {tilde over (r)}(t) and respective measured value {tilde over (v)} of the variable of interest v. As already explained, the function ƒ₀ is not known. However, the design step 1006 can exploit the fact that, if the Lipschitz constant γ is such that the set of functions FFS is not an empty set, from Eq. (15) we have the information that

ƒ₀ ∈FFS  (16)

where FFS={ƒ∈

(γ): |{tilde over (v)}(t_(i))−ƒ({tilde over (r)}(t_(i)))|≤η+γδ, i=n, . . . , N}.

Consequently, the minimum limit that may be obtained from Eq. (14) for assigned function ƒ∈

(γ) is

$\begin{matrix} {{{{{{v(t)} - {\hat{v}(t)}}} \leq {{\gamma \; \delta} + {\sup_{f \in {FFS}}{{{f_{0}\left( {\overset{\sim}{r}(t)} \right)} - {\hat{f}\left( {\overset{\sim}{r}(t)} \right)}}}}}}\overset{\Delta}{=}{ɛ^{*}\left( \hat{f} \right)}},{\forall{{\overset{\sim}{r}(t)} \in R_{b}}}} & (17) \end{matrix}$

where the function sup yields the supremum.

From Eq. (17) it hence follows that for any function {circumflex over (ƒ)}∈

(γ), the estimate {circumflex over (v)}(t)={circumflex over (ƒ)}({tilde over (r)}(t)) presents, for any validation set D_(v)∈

_(v), errors limited by ε*({circumflex over (ƒ)}) in a robust way, i.e., for all the operating conditions considered in any set D_(v)∈

_(v), including those due to production spread that lead to disturbances on the measurements u_(i) falling within the range δ. As will be described hereinafter, the error ε*({circumflex over (ƒ)}) is hence smaller if also in the data-set D_(d) data are present that reflect the variability of the range δ. Consequently, in various embodiments, the data-set D_(d) is modified by entering therein data of some tests in which the range of the disturbances has been explored.

In various embodiments, in step 1006 a function ƒ^(•)(γ) is hence determined such as to minimise for the assigned value of γ the limit of the estimation error:

ε*(ƒ^(•)(γ))≤ε*({circumflex over (ƒ)}),∀{circumflex over (ƒ)}∈

(γ)

The function ƒ^(•)(γ) is determined as described in what follows, on the basis of the “set-membership” theory, as described, for example, in the paper by Milanese, M., Novara, C., “Set membership identification of nonlinear systems”, Automatica, 40, pp. 957-975, 2004.

In particular, in various embodiments, a maximum value ƒ(r(t)) is determined for the variable v as a function of the regressor currently measured {tilde over (r)}(t):

ƒ(r(t))=min_(i=n, . . . ,N)({tilde over (v)}(t _(i))+η+γδ+γ∥r(t)−{tilde over (r)}(t _(i))∥_(∞))  (18)

Likewise, a minimum value ƒ(r(t)) is obtained for the variable v as a function of the regressor currently measured {tilde over (r)}(t):

ƒ(r(t))=max_(i=n, . . . ,N)({tilde over (v)}(t _(i))−η−γδ−γ∥r(t)−{tilde over (r)}(t _(i))∥_(∞))  (19)

FIG. 7 shows in this context an example in which just a single available variable ũ₁ is considered and n=1, i.e., {tilde over (r)}(t_(i))=[ũ₁(t_(i)−Δt)]. In this figure, two data are shown, which correspond, respectively, to the measured values {tilde over (r)}(t₁), {tilde over (r)}(t₂) and to the measured values {tilde over (v)}(t₁), {tilde over (v)}(t₂) of the variable of interest v, and the functions ƒ and ƒ are calculated according to Eqs. (18) and (19).

In various embodiments, the virtual sensor 40, in particular the processing unit 400, is configured for estimating the value v*(t) as the mean value between the maximum value ƒ(r(t)) and the minimum value ƒ(r(t)), i.e., by computing the value v*(t) with the following function ƒ^(•)∀{tilde over (r)}(t)∈R_(b) (see also FIG. 7):

v*(t)=ƒ^(•)(r(t))=[ƒ(r(t))+ƒ(r(t))]/2  (20)

Consequently, the maximum error ε* of the function ƒ^(•) is limited to

ε*(ƒ^(•))=[ƒ(r(t))+ƒ(r(t))]/2+γδ,∀r(t)∈R _(b)  (21)

The function ƒ^(•) is a function of the Lipschitz constant γ and of the memory n of the estimator, the dependence of which will be expressed only if necessary and which must be chosen in such a way that the set FFS is not empty. For instance, a condition that is necessary and sufficient for this set not to be empty is the following:

ƒ(r(t _(i)))>{tilde over (v)}(t _(i))−η−γδ,i=n,n+1, . . . ,N−1  (22)

In various embodiments, in step 1006 the virtual sensor 40 is designed with a given n, and the minimum Lipschitz constant γ*(n) that satisfies Eq. (22) is calculated as follows:

γ*(n)=min_(γ:ƒ(r(t) _(i) _())>{tilde over (v)}(t) _(i) _()−η−γδ,i=n,n+1, . . . ,N−1)γ  (23)

Hence, each pair of values n, γ*(n) is such that FFS is not empty.

In various embodiments, the previous step 1006 is then repeated for other values of n in such a way as to choose a value n* such that:

n*=arg min_(n)ε*(ƒ^(•)(γ*(n)))  (24)

where the error ε* can be calculated in step 1008 in accordance with Eq. (21), as follows:

ε*(ƒ^(•)(γ*,n))=sup_(r∈R) _(b) (ƒ(r)−ƒ(r))/2+γ*(n)δ  (25)

In various embodiments, there are hence chosen n=n* and γ=γ* that enable calculation of the function ƒ*=ƒ^(•)(γ*, n*), which yields a robustly optimal estimator, i.e., one such that ε*(ƒ*) is the minimum estimation error that can be guaranteed for any validation data-set D_(v)∈

_(v).

Calculation of Eq. (23) is quite easy, whereas calculation of Eq. (25) is more complex, and it is substantially possible to use the method described in the paper by Milanese, M., Novara, C., “Computation of local radius of information in SM-IBC identification of non-linear systems”, J. Complexity 23, pp. 937-951, 2007.

FIG. 8 shows in this context an embodiment of a virtual sensor 40. In the embodiment considered, the virtual sensor 40 comprises a processing unit 400, such as a microprocessor programmed with a computer program or a digital circuit, and one or more memories 402. As explained previously, the virtual sensor 40 may be implemented, for example, within the control unit 20 or on a separate electronic circuit.

In various embodiments, in step 1012 the following data are stored in the memory 402:

-   -   the measured data in the design data-set D_(d);     -   the Lipschitz constant γ;     -   data that identify the term η+γδ, for example directly the limit         η on the errors of the method of measurement of the variable v         and the limit δ on the disturbances of the data of the variables         u_(i).

Moreover, in various embodiments, the virtual sensor 40 is configured for receiving the current regressor ŕ(t) and computing the maximum value ƒ(r(t)) and the minimum value ƒ(r(t)) for the current regressor {tilde over (r)}(t), as illustrated in Eqs. (18) and (19).

Consequently, in various embodiments, the estimator ƒ* depends upon the experimental data included in the design data-set D_(d), upon η, γ, δ, and upon the memory n of the estimator. In general, the memory n of the estimator may even be a vector; i.e., each available variable ũ_(i) could have a respective memory n_(i). In this case, the step 1006 could hence be repeated for various combinations of values n_(i), once again choosing in step 1008 the combination that presents the minimum error, as shown in Eq. (25).

In various embodiments, the limit η on the errors of the method of measurement of the variable v can be chosen from the data of accuracy of the instrument for measuring v used during the experimental tests, and the limit δ can be derived from the information on the perturbations of the measurements ũ_(i) resulting from process spread involved in (mass) production of the actuator 10, for example of the engine, and from the different operating conditions of the actuator 10. In general, the limit δ may even be a vector; i.e., each available variable ũ_(i) could have a respective limit δ_(i). However, one or more available variables ũ_(i) can be normalized in such a way as to use the same limit δ.

As explained previously, in various embodiments, the design data-set D_(d) is modified in such a way as to reflect the limit η on the errors of the method of measurement of the variable v and/or the limit δ on the disturbances of the data of the variables u_(i).

For instance, as illustrated in FIG. 9, in various embodiments, one or more data P_(V), i.e., combinations {ũ₁(t_(i)), ú₂(t_(i)), . . . , ũ_(m)(t_(i)), {tilde over (v)}(t_(i))}, are added to the data-set D_(d) that normally contains only measured data P_(M). In particular, these added points P_(V) are chosen so as to reflect the limit η on the errors of the method of measurement of the variable v and/or the limit δ on the disturbances of the data of the variables u_(i). For instance, in various embodiments one or more data P_(V) are added within the area delimited by the limits±η and ±δ with respect to a measured point P_(M), thus emulating the tolerances of measurement and/or production, etc. For instance, in FIG. 9 two data P_(V1) and P_(V2) are added.

For example, in various embodiments, four additional data are added for each measured datum P_(Mi)={tilde over (r)}(t_(i)), {tilde over (v)}(t_(i))] in the data-set D_(d); namely,

P _(Vi1)=[{tilde over (r)}(t _(i))+δ,{tilde over (v)}(t _(i))+η]

P _(Vi2)=[{tilde over (r)}(t _(i))+δ,{tilde over (v)}(t _(i))−η]

P _(Vi3)=[{tilde over (r)}(t _(i))−δ,{tilde over (v)}(t _(i))+η]

P _(Vi4)=[{tilde over (r)}(t _(i))−δ,{tilde over (v)}(t _(i))−η]

The above additional data P_(V) are subsequently considered as measured data P_(M), i.e., the subsequent design step 1004 treats indistinctly the measured data P_(M) and the additional data P_(V) in the data-set D_(d).

In this way, the estimator takes into account the fact that there may be data with equal errors δ, thus improving the characteristics of robustness of the estimator.

The virtual sensor 40 that directly implements the set-membership solution ƒ*(γ*, n*) described previously is a robustly optimal solution, which, however, could require computing times and occupation of memory that are not compatible with the performance of the hardware platform on which it has to operate in real time.

In various embodiments, the optional step 1010 thus provides a procedure that enables an approximation ƒ_(a) of ƒ* to be obtained, evaluating balancing between degradation of the accuracy of the estimate and reduction of the computing times and of occupation of memory.

For instance, in various embodiments, an approximating function ƒ_(a) is sought such that

$\begin{matrix} {{\frac{{{f^{*}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)} - {f_{a}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)}}}{{f^{*}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)}} \leq \mu},{i = {n + 1}},\ldots \mspace{14mu},N} & (26) \end{matrix}$

where {tilde over (r)}(t_(i)) are the values of the regressors obtained from the measured data in the data-sets D_(d), and μ is an assigned level of precision.

In various embodiments, the approximating function ƒ_(a) is chosen of the form:

ƒ_(a)(r)=Σ_(i=1) ^(M) ^(s) a _(i)ϕ_(i)(r)  (27)

where ϕ_(i)(r) are assigned continuous Lipschitz functions of r, in a high number to enable approximation of vast classes of functions, such as polynomials, sinusoidal functions, exponentials, etc.

In particular, Eqs. (26) and (27) differ from those of the prior art, since the approximated function ƒ_(a)(r) is not calculated as a function of the measured values {tilde over (v)}(t_(i)), but the corresponding estimate ƒ*({tilde over (r)}(t_(i))) is used, which hence takes into consideration also the limit η on the errors of the method of measurement of the variable v and the limit δ on the disturbances of the data of the variables u_(i).

FIG. 10 shows an embodiment that enables further improvement of the result of the approximation. In particular, in the embodiment considered, the function ƒ_(a)(r) is estimated not only using in Eq. (26) the measured regressors {tilde over (r)}(t_(i)), i=n+1, . . . , N, but also adding further regressors {tilde over (r)}_(v)(t_(i)), which hence increase the number of points used for estimation of the function ƒ_(a) (r).

In various embodiments, in order to prevent phenomena of overfitting, approximated functions ƒ_(a) are sought with the minimum number of a_(i)≠0 that will in any case guarantee the assigned level μ of precision to be achieved. This problem is in general an NP-hard problem, so that typically its solution cannot be obtained in computing times that are acceptable for the problems considered in this description. However, it is possible to use approximate solutions proposed in the literature that are such as to lead to a number of elements a_(i)≠0, which, even though it is not equal to the minimum number that guarantees the assigned level μ of precision to be achieved, is in general much smaller than M_(S); see, for example, the paper by Novara C., Fagiano L., Milanese M., “Sparse Set Membership Identification of Nonlinear Functions”, 50th IEEE Conference on Decision and Control, Orlando, 2011, and the references appearing therein.

For instance, in various embodiments, a two-step convex optimisation is used.

We define:

a = [a₁, a₂, …  , a_(M_(s))] $\Phi = \begin{bmatrix} {\varphi_{1}\left( {\overset{\sim}{r}\left( t_{n + 1} \right)} \right.} & \ldots & \left\lbrack {\varphi_{M_{s}}\left( {\overset{\sim}{r}\left( t_{n + 1} \right)} \right\rbrack} \right. \\ \vdots & \ddots & \vdots \\ \left\lbrack {\varphi_{1}\left( {\overset{\sim}{r}\left( t_{N} \right)} \right\rbrack} \right. & \ldots & \left\lbrack {\varphi_{M_{s}}\left( {\overset{\sim}{r}\left( t_{N} \right)} \right\rbrack} \right. \end{bmatrix}$ $V = \left\lbrack {{\overset{\sim}{v}\left( t_{n + 1} \right)}\mspace{14mu} \ldots \mspace{14mu} {\overset{\sim}{v}\left( t_{N} \right)}} \right\rbrack$ z(a) = {i₁, …  , i_(j):0 < a_(i₁)¹ ≤ … ≤ a_(ij)¹}

-   -   z_(λ)(a): subset of z(a)∈λ={1, 2, . . . , k}     -   card(r(a)): number of elements of r(a)     -   supp(a)={i∈{1, 2, . . . , M_(S)}: a_(i)=0}

In various embodiments, the following optimisation problem is first solved for the initial vector a¹:

$a^{1} = {\arg \; {\min\limits_{a \in R^{M_{s}}}{a}_{1}}}$

setting the following constraint:

${\max_{{i = {n + 1}},\ldots \mspace{11mu},N}\frac{{{f^{*}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)} - {f_{a}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)}}}{{f^{*}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)}}} \leq \mu$

In the first step, the vector a¹ is thus obtained by solving a convex-optimisation problem, which in general yields a large number of coefficients a_(i) ¹=0, even though it is not guaranteed that this number is the maximum one possible.

In various embodiments, the optimal vector a* is then calculated with the following optimisation algorithm:

for k = 1: card(r(a¹))  c^(k) = arg min_(a∈R) _(M) max_(i=n+1,...,N)|f*({tilde over (r)}(t_(i))) − f_(a)({tilde over (r)}(t_(i)))|  with constraint a_(i) = 0, i ∈ supp(a¹) ∪ r_(λ)(a¹), λ = {1,2, ... , k)  f^(k)({tilde over (r)}) = Σ_(k=1) ^(M) ^(s) c_(k)ϕ_(k) ({tilde over (r)})   ${{if}\mspace{14mu} {\max_{{i = {n + 1}},\ldots,N}\frac{{{f^{*}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)} - {f^{k}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)}}}{{f^{*}\left( {\overset{\sim}{r}\left( t_{i} \right)} \right)}}}} \leq \mu$   a* = c^(k)   break  end end

Consequently, in the second step only a part of the elements of a¹ are progressively included in the vector a* as long as Eq. (26) applies. In this way, it is possible to obtain a vector a* the nonzero elements of which are typically in a number m*, which is considerably smaller than that of the initial solution a¹. Consequently, the function ƒ_(a)*(r)=Σ_(i=1) ^(m) a_(i)*ϕ_(i)(r) yields estimates that differ in the level μ chosen from the estimate provided by the optimally robust estimator ƒ*, with computing times and occupation of memory that may be significantly lower.

FIG. 11 shows in this context a first embodiment of a virtual sensor 40 a that is able to estimate the NO_(x) emission of an engine. For instance, during design of the virtual sensor 40 a the inputs listed previously have been used, namely, the variables ũ₁, . . . ũ₁₂. For instance, the respective design data-set D_(d) may be obtained with NEDC, WLTP, FTP and Artemis dynamic homologation tests with engine hot and engine cold, with stationary tests, and with real-drive tests, acquired with a respective sampling period, for example, Δt=1 s.

In various embodiments, the input variables have been modified in such a way as to simulate not only the different operating conditions but also the process spread involved in mass-production of the engine. For instance, in various embodiments, the inputs concerned by the aforesaid perturbations used as inputs of the virtual sensor 40 are ũ₃ (engine torque with a perturbation of ±5%), ũ₆ (temperature in the intake manifold with a perturbation of ±3° C.), and ũ₇ (pressure in the intake manifold with a perturbation of ±40 mbar).

In the embodiment considered, the number of experimental data that constitute the design data-set D_(d) is N=10⁵.

Using the design process described previously for implementation on a 32-bit board with a clock frequency of 120 MHz, the estimator ƒ* obtained with the set-membership procedure requires an occupation of memory of 5 MB and a computing time necessary for estimation of v*, at each sampling period Δt=1 s, of 780 ms.

Instead, to obtain an estimation function ƒ_(a) that approximates ƒ* by evaluating balancing between precision μ, computing times, and occupation of memory, in step 1010 an approximating function has been chosen as in Eq. (27) with a number of polynomial base functions M_(S)=N. In fact, the smaller the value of μ, the more closely ƒ_(a) approximates ƒ*, but also the occupation of memory and the computing time increase, since the number m* of bases used increases. Choosing, for example, μ=0.05 a function ƒ_(a) with m*=10³ has been obtained, which, on the board considered, requires an occupation of memory of 15 KB, and a computing time of 6 ms.

FIG. 13 shows a second embodiment of a virtual sensor 40 b that is able to estimate the emission of an engine (for example, NO_(x)), where, in addition to the variables ũ₁, . . . ũ₁₂, two further available variables ũ₁₃ and ũ₁₄ are also considered, which correspond to the pressure p and to the temperature T in the combustion chamber. The design data-set D_(d) used for designing the virtual sensor 40 hence comprises measurements also for these variables ũ₁₃=p and ũ₁₄=T. However, physical sensors for detecting the temperature and pressure in the combustion chamber are costly, and their precision deteriorates rapidly on account of the conditions in which they operate.

FIG. 14 shows a third embodiment of a virtual sensor 40 c that is able to estimate the emission of an engine (for example, NO_(x)).

In particular, to overcome technological problems of physical sensors for detecting the temperature and pressure in the combustion chamber, the physical sensor for detecting the temperature in the combustion chamber and/or the physical sensor for detecting the pressure in the combustion chamber have/has been replaced with virtual sensors 40 d and 40 e. Consequently, in various embodiments, the virtual sensor 40 c may in actual fact comprise three virtual sensors:

-   -   a first virtual sensor 40 d designed to estimate temperature         {circumflex over (T)} in the combustion chamber;     -   a second virtual sensor 40 e designed to estimate the pressure         {circumflex over (p)} in the combustion chamber; and     -   a third virtual sensor 40 b designed to estimate the engine         emission (for example, NO_(x)), which receives all the variables         ũ₁, . . . ũ₁₄, i.e., also the available variables ũ₁₃ and ũ₁₄,         which correspond, however, to the estimates {circumflex over         (T)} and {circumflex over (p)} of the temperature and of the         pressure in the combustion chamber.

In various embodiments, the virtual sensors 40 a, 40 b, 40 d, and/or 40 can be designed following the process described previously, i.e., on the basis of the set-membership procedure and possibly its consequent approximation.

It may be noted that the estimators 40 d and 40 e use as inputs variables that are in any case available in real time. In fact, in general, also the sensors 40 d and 40 e can be designed as a function of the available variables ú₁, . . . ü₁₂. For instance, in various embodiments, the virtual sensor 40 d that is able to estimate the temperature {circumflex over (T)} in the combustion chamber is designed only as a function of the variables ũ₂ (engine r.p.m.), ũ₃ (engine torque), and ũ₄ (percentage opening of the EGR valve). Instead, in various embodiments, the virtual sensor 40 e that is able to estimate the pressure {circumflex over (p)} in the combustion chamber is designed only as a function of the variables ũ₁ (fuel demand), ũ₂ (engine r.p.m.), and ũ₇ (pressure in the intake manifold).

Hence, in the embodiment considered, the entire virtual sensor 40 c (FIG. 14) uses as inputs u_(i) those of the virtual sensor 40 a (FIG. 12), but as compared to the latter enables higher levels of precision to be achieved comparable with those of the virtual sensor 40 b (FIG. 13). This is justified by the fact that, for the step of design of the virtual sensors 40 b and 40 d/40 e, measurements of pressure/temperature in the combustion chamber (as available variable and as variable of interest, respectively) are used, which are not, instead, used in the design of the single-stage virtual sensor 40 a. Consequently, in this solution the information content of the design data-set is greater than the information content of the data-set used for the single-stage design, thus enabling improvement of the estimation performance.

Various embodiments of the present disclosure hence regard a virtual sensor 40 (for example, the virtual sensor 40 c) configured for estimating a variable of interest v and comprising:

-   -   a first virtual sensor (for example, the virtual sensor 40 b)         configured for estimating the variable of interest v, where the         first virtual sensor is designed according to the process         described herein using a design data-set comprising measured         values {tilde over (v)}(t) of the variable of interest and         corresponding measured values ũ_(i) of a given set of available         variables u_(i),     -   at least one second virtual sensor (for example, the virtual         sensors 40 d and/or 40 e) configured for estimating a second         variable of interest, where the second variable of interest         corresponds to one of the available variables u_(i) used by the         first virtual sensor, and where the second virtual sensor is         designed according to the process described herein using a         second design data-set comprising measured values of the second         variable of interest and corresponding measured values ũ_(i) of         a given second set of available variables u_(i).

In particular, in various embodiments, the first and second virtual sensors use at least in part the same available variables u_(i).

Moreover, it would also be possible to design the second virtual sensor first and use, for design of the first virtual sensor, values already estimated with the second virtual sensor.

Of course, without prejudice to the principle of the invention, the details of construction and the embodiments may vary widely with respect to what has been described and illustrated herein purely by way of example, without thereby departing from the scope of the present invention, as defined by the ensuing claims. 

1. A method of designing a first virtual sensor adapted to estimate a variable of interest v as a function of a set of available variables u_(i), the method comprising the steps of: acquiring a design dataset D_(d) comprising a number N of measured values {tilde over (v)}(t_(i)) of said variable of interest v and corresponding measured values ũ_(i)(t_(i)) of said available variables u_(i); determining a boundary δ of the disturbances of said available variables u_(i) and a boundary η of the measurement errors of the variable of interest v; selecting a Lipschitz function ƒ* with a respective Lipschitz constant (γ) adapted to estimate the variable of interest v(t) as a function of a number n of past values of each available variable u_(i) by executing the following steps one or more times for different numbers n: a) determining a value for said Lipschitz constant γ; b) defining an upper boundary ƒ(r(t)) and a lower boundary ƒ(r(t)) for the estimation of said variable of interest v as a function of said design dataset D_(d), the number n, said value for said Lipschitz constant γ, said boundary δ of the disturbances of said available variables u_(i) and said boundary η of the measurement errors of the variable of interest v, and selecting a Lipschitz function ƒ^(•) comprised between said upper boundary ƒ(r(t)) and said lower boundary ƒ(r(t)); c) determining an estimation error ε*(ƒ^(•)) for said Lipschitz function ƒ^(•) and selecting the Lipschitz function ƒ*, having associated a respective Lipschitz constant γ* and a respective number n*, which has the lowest estimation error ε*(ƒ* (γ*, n*)); implementing said selected Lipschitz function ƒ* in an electronic circuit.
 2. Method according to claim 1, wherein said value for said Lipschitz constant γ is determined with the following equation: ${y^{*}(n)} = {\min\limits_{{\gamma:{{\overset{\_}{f}{({r{(t_{i})}})}} > {{\overset{\sim}{v}{(t_{i})}} - \eta - {\gamma \; \delta}}}},{i = n},{n + 1},\ldots \mspace{14mu},{N - 1}}\gamma}$
 3. Method according to claim 1, wherein said upper boundary ƒ(r(t)) and said lower boundary ƒ(r(t)) for the estimation of said variable of interest v are defined through the following equations: ${\overset{\_}{f}\left( {r(t)} \right)} = {\min\limits_{{i = n},\ldots \mspace{11mu},N}\left( {{\overset{\sim}{v}\left( t_{i} \right)} + \eta + {\gamma \; \delta} + {\gamma {{{r(t)} - {\overset{\sim}{r}\left( t_{i} \right)}}}_{\infty}}} \right)}$ ${\underset{\_}{f}\left( {r(t)} \right)} = {\min\limits_{{i = n},\ldots \mspace{11mu},N}\left( {{\overset{\sim}{v}\left( t_{i} \right)} - \eta - {\gamma \; \delta} - {\gamma {{{r(t)} - {\overset{\sim}{r}\left( t_{i} \right)}}}_{\infty}}} \right)}$
 4. Method according to claim 1, wherein said selecting a Lipschitz function ƒ^(•) comprised between said upper boundary ƒ(r(t)) and said lower boundary ƒ(r(t)) comprises estimating the value v(t) of the variable of interest v with the average value between the upper boundary ƒ(r(t)) and the lower boundary ƒ(r(t)).
 5. Method according to claim 1, comprising: modifying said design dataset D_(d) in order to add values of said variable of interest v and corresponding values of said available variables u_(i) which do not correspond to measured values but which are within the boundary δ around measured values ũ_(i)(t_(i)) of one or more of said available variables u_(i) and/or the boundary η around measured values {tilde over (v)}(t_(i)) of said variable of interest v.
 6. Method according to claim 1, comprising: approximating said selected Lipschitz function ƒ* with a function ƒ_(a) being composed of base functions; and implementing said approximated Lipschitz function ƒ_(a) in said electronic circuit.
 7. Method according to claim 1, comprising: designing at least a second virtual sensor adapted to estimate a second variable of interest v as a function of a second set of available variables, wherein the second variable of interest corresponds to one of the available variables u_(i) in said set of available variables u_(i) of said first virtual sensor, wherein the second virtual sensor is designed using a second design dataset comprising measured values of said second variable of interest and corresponding measured values for said second set of available variables; and implementing said first virtual sensor and said second virtual sensor within the same electronic circuit.
 8. Method according to claim 1, wherein said variable of interest v is indicative of an emission of a combustion motor, such as the emission of NO_(x), and wherein said set of available variables u_(i) comprises one or more of the following variables: fuel demand; engine r.p.m.; engine torque; temperature in the intake manifold; pressure in the intake manifold; pressure in the common rail; flow of exhaust gases in the exhaust manifold; temperature of the coolant; concentration of oxygen in the combustion chamber; absolute humidity; temperature in the combustion chamber; and pressure in the combustion chamber.
 9. An electronic circuit configured to implement the virtual sensor obtained with the method according to claim
 1. 10. A system comprising: an actuator, such as a combustion motor; a control unit configured to drive said actuator as a function of at least one control signal, and at least one electronic circuit configured to implement a virtual sensor obtained with the method according to claim
 1. 11. A computer-program product that can be loaded into the memory of at least one processor and comprises portions of software code for implementing the steps of the method according to claim
 1. 12. A computer-program product that can be loaded into the memory of at least one processor and comprises portions of software code for implementing a virtual sensor obtained with the method according to claim
 1. 